Nuprl Definition : fpf-inv-rename
11,40
postcript
pdf
fpf-inv-rename(
r
;
rinv
;
f
) == <mapfilter(
x
.outl(
rinv
(
x
));
x
.isl(
rinv
(
x
));
f
.1), (
f
.2) o
r
>
latex
Definitions
mapfilter(
f
;
P
;
L
)
,
outl(
x
)
,
isl(
x
)
,
t
.1
,
f
o
g
,
t
.2
FDL editor aliases
fpf-inv-rename
origin
x.outl(rinv(x));x.isl(rinv(x));f.1), (f.2) o r> x.outl(rinv(x));x.isl(rinv(x));f.1), (f.2) o r>